%%%% VERSION 2.0 %%%%%%
3 
%%%% Initial state %%%%%%
2 
1 2  IS
t * 
2 6  IStindv
y y * - - - 
- - - y y * 
%%%% Transition %%%%%%
1 
7 7  T
y - - - - - * 
- y - - - - * 
- - y - - - * 
- - - y - - * 
- - - - y - * 
- - - - - y * 
- - - - - - * 
%%%% Event  %%%%%%
2 
7 2  E
a * 
a * 
a * 
a * 
a * 
a * 
* - 
2 3  C
* p - 
* - p